/LMAR=0/XLINE=3/FONT#0=BAXL30/FONT#1=BAXM30/FONT#2=BASB30/FONT#3=SUB/FONT#4=SUP/FONT#5=BASL35/FONT#6=NGR25/FONT#7=MATH30/FONT#8=FIX25/FONT#9=GRKB30
␈↓ α∧␈↓␈↓ u1


␈↓ α∧␈↓α␈↓ βsMcCarthy Papers on Philosophy and Artificial Intelligence

␈↓ α∧␈↓␈↓αMcCarthy,␈α↔John␈α↔(1960)␈↓:␈α↔"Programs␈α↔with␈α↔Common␈α↔Sense,"␈α↔Proceedings␈α↔of␈α↔the␈α↔Teddington
␈↓ α∧␈↓Conference␈α
on␈α
the␈αMechanization␈α
of␈α
Thought␈α
Processes,␈αHer␈α
Majesty's␈α
Stationery␈αOffice,␈α
London.
␈↓ α∧␈↓COMMON.tex[f80,JMC] is a TEX version with only Bar-Hillel comments

␈↓ α∧␈↓␈↓αMcCarthy,␈α∂John␈α∂and␈α∞P.J.␈α∂Hayes␈α∂(1969)␈↓:␈α∞"Some␈α∂Philosophical␈α∂Problems␈α∞from␈α∂the␈α∂Standpoint␈α∞of
␈↓ α∧␈↓Artificial␈α
Intelligence",␈α∞in␈α
D.␈α
Michie␈α∞(ed),␈α
␈↓↓Machine␈α
Intelligence␈α∞4␈↓,␈α
American␈α
Elsevier,␈α∞New␈α
York,
␈↓ α∧␈↓NY.  PHIL[ESS,JMC] 23-May-75 McCarthy and Hayes with slight mods

␈↓ α∧␈↓␈↓αMcCarthy,␈α∂John␈α∂(1977)␈↓:␈α∂"Epistemological␈α∂Problems␈α∂of␈α∂Artificial␈α∂Intelligence",␈α∂␈↓↓Proceedings␈α∂of␈α∞the
␈↓ α∧␈↓↓Fifth␈α~International␈α~Joint␈α~Conference␈α~on␈α~Artificial␈α~Intelligence␈↓,␈α~M.I.T.,␈α~Cambridge,␈α→Mass.
␈↓ α∧␈↓IJCAI.C[E77,JMC] 02-Jul-78 1977 IJCAI paper

␈↓ α∧␈↓␈↓αMcCarthy,␈αJohn␈α(1979)␈↓:␈α
"Ascribing␈αMental␈αQualities␈αto␈α
Machines"␈αin␈α␈↓↓Philosophical␈αPerspectives␈α
in
␈↓ α∧␈↓↓Artificial␈αIntelligence␈↓,␈αRingle,␈αMartin␈α(ed.),␈αHarvester␈αPress,␈αJuly␈α1979.␈α MENTAL[F76,JMC]␈α05-
␈↓ α∧␈↓Dec-77 ASCRIBING MENTAL QUALITIES TO MACHINES

␈↓ α∧␈↓␈↓αMcCarthy,␈α∪John␈α∩(1979)␈↓:␈α∪"First␈α∩Order␈α∪Theories␈α∩of␈α∪Individual␈α∩Concepts␈α∪and␈α∪Propositions",␈α∩in
␈↓ α∧␈↓Michie,␈α⊗Donald␈α∃(ed.)␈α⊗␈↓↓Machine␈α⊗Intelligence␈α∃9␈↓,␈α⊗(University␈α∃of␈α⊗Edinburgh␈α⊗Press,␈α∃Edinburgh).
␈↓ α∧␈↓CONCEP[E76,JMC]␈α01-Sep-77␈α
FIRST␈αORDER␈α
THEORIES␈αOF␈α
INDIVIDUAL␈αCONCEPTS
␈↓ α∧␈↓AND PROPOSITIONS

␈↓ α∧␈↓␈↓αMcCarthy,␈α⊂John␈α⊂(1980a)␈↓:␈α∂"Circumscription␈α⊂-␈α⊂A␈α∂Form␈α⊂of␈α⊂Non-Monotonic␈α⊂Reasoning",␈α∂␈↓↓Artificial
␈↓ α∧␈↓↓Intelligence␈↓,␈α∀Volume␈α∪13,␈α∀Numbers␈α∀1,2,␈α∪April.␈α∀ CIRCUM.W80[W80,JMC]␈α∀Circumscription:␈α∪A
␈↓ α∧␈↓Form of non-Monotonic Reasoning

␈↓ α∧␈↓␈↓αMcCarthy,␈α∞John␈α∞(1980b)␈↓:␈α∂"Formalization␈α∞of␈α∞Two␈α∂Puzzles␈α∞Involving␈α∞Knowledge"␈α∂informal␈α∞memo
␈↓ α∧␈↓KNOW[E78,JMC]